package java_cup.runtime;

/** Marks objects which want to know their extent (start and end) in the input file.
    When an {@link Object} implementing this interface has been returned by the parses
    as the value of a terminal or non-terminal node, */
public interface HasSourceExtent {
    /** Record the source extent, i.e. the start and end positions in the source file
	from which a given {@link Symbol} was parsed. */
    public void setSourceExtent(int startPos_, int endPos_);
}
